//#include "barrier.h"
//x#include "uthread.h"


#ifndef FSSP_H_
#define FSSP_H_

typedef enum {Q, P, R, Z, M, F ,X} soldier_state;

struct soldier {
  int id;
  soldier_state state;
  struct barrier* bar;
};


int num_soldiers;
soldier_state* states;


#endif /* FSSP_H_ */
